
Lambda calculus

Translation lambda calculus into russian
lambda calculus
Lambda calculus is a formal system in mathematical logic.
Лямбда-исчисление - это формальная система в математической логике.